ayu mushi

I am interested in Haskell, a programming language, and Analytic Philosophy! I am currently a student at Nagoya University, majoring in information and computer science. You can find more about me on my Scrapbox page: .

I also have a Twitter account: and a personal website: .

In terms of my interests, I am particularly interested in Haskell and its type system, as well as the Computer Science concept of Curry-Howard correspondence. I am also interested in Analytic Philosophy, specifically Formal Semantics and the philosophical concept of intentionality. I have written about these topics on my Scrapbox page: /ayu-mushi/Scrapbox.